Optimal. Leaf size=508 \[ -\frac {4 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x}}{9 c}+\frac {1}{4} b^2 f x \sqrt {d+i c d x} \sqrt {f-i c f x}-\frac {2 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right )}{27 c}-\frac {b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)}{4 c \sqrt {1+c^2 x^2}}+\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {1+c^2 x^2}}-\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {1+c^2 x^2}}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {1+c^2 x^2}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {1+c^2 x^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.43, antiderivative size = 508, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 11, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.297, Rules used = {5796, 5838,
5785, 5783, 5776, 327, 221, 5798, 5784, 455, 45} \begin {gather*} -\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {c^2 x^2+1}}+\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {c^2 x^2+1}}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {c^2 x^2+1}}-\frac {i f \left (c^2 x^2+1\right ) \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {c^2 x^2+1}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {2 i b^2 f \left (c^2 x^2+1\right ) \sqrt {d+i c d x} \sqrt {f-i c f x}}{27 c}-\frac {b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)}{4 c \sqrt {c^2 x^2+1}}+\frac {1}{4} b^2 f x \sqrt {d+i c d x} \sqrt {f-i c f x}-\frac {4 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x}}{9 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 221
Rule 327
Rule 455
Rule 5776
Rule 5783
Rule 5784
Rule 5785
Rule 5796
Rule 5798
Rule 5838
Rubi steps
\begin {align*} \int \sqrt {d+i c d x} (f-i c f x)^{3/2} \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx &=\frac {\left (\sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int (f-i c f x) \sqrt {1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx}{\sqrt {1+c^2 x^2}}\\ &=\frac {\left (\sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \left (f \sqrt {1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )^2-i c f x \sqrt {1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )^2\right ) \, dx}{\sqrt {1+c^2 x^2}}\\ &=\frac {\left (f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \sqrt {1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx}{\sqrt {1+c^2 x^2}}-\frac {\left (i c f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int x \sqrt {1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx}{\sqrt {1+c^2 x^2}}\\ &=\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {\left (f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \frac {\left (a+b \sinh ^{-1}(c x)\right )^2}{\sqrt {1+c^2 x^2}} \, dx}{2 \sqrt {1+c^2 x^2}}+\frac {\left (2 i b f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right ) \, dx}{3 \sqrt {1+c^2 x^2}}-\frac {\left (b c f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int x \left (a+b \sinh ^{-1}(c x)\right ) \, dx}{\sqrt {1+c^2 x^2}}\\ &=\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {1+c^2 x^2}}-\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {1+c^2 x^2}}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {1+c^2 x^2}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {1+c^2 x^2}}-\frac {\left (2 i b^2 c f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \frac {x \left (1+\frac {c^2 x^2}{3}\right )}{\sqrt {1+c^2 x^2}} \, dx}{3 \sqrt {1+c^2 x^2}}+\frac {\left (b^2 c^2 f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \frac {x^2}{\sqrt {1+c^2 x^2}} \, dx}{2 \sqrt {1+c^2 x^2}}\\ &=\frac {1}{4} b^2 f x \sqrt {d+i c d x} \sqrt {f-i c f x}+\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {1+c^2 x^2}}-\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {1+c^2 x^2}}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {1+c^2 x^2}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {1+c^2 x^2}}-\frac {\left (b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \int \frac {1}{\sqrt {1+c^2 x^2}} \, dx}{4 \sqrt {1+c^2 x^2}}-\frac {\left (i b^2 c f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \text {Subst}\left (\int \frac {1+\frac {c^2 x}{3}}{\sqrt {1+c^2 x}} \, dx,x,x^2\right )}{3 \sqrt {1+c^2 x^2}}\\ &=\frac {1}{4} b^2 f x \sqrt {d+i c d x} \sqrt {f-i c f x}-\frac {b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)}{4 c \sqrt {1+c^2 x^2}}+\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {1+c^2 x^2}}-\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {1+c^2 x^2}}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {1+c^2 x^2}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {1+c^2 x^2}}-\frac {\left (i b^2 c f \sqrt {d+i c d x} \sqrt {f-i c f x}\right ) \text {Subst}\left (\int \left (\frac {2}{3 \sqrt {1+c^2 x}}+\frac {1}{3} \sqrt {1+c^2 x}\right ) \, dx,x,x^2\right )}{3 \sqrt {1+c^2 x^2}}\\ &=-\frac {4 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x}}{9 c}+\frac {1}{4} b^2 f x \sqrt {d+i c d x} \sqrt {f-i c f x}-\frac {2 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right )}{27 c}-\frac {b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)}{4 c \sqrt {1+c^2 x^2}}+\frac {2 i b f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{3 \sqrt {1+c^2 x^2}}-\frac {b c f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{2 \sqrt {1+c^2 x^2}}+\frac {2 i b c^2 f x^3 \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )}{9 \sqrt {1+c^2 x^2}}+\frac {1}{2} f x \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^2-\frac {i f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (1+c^2 x^2\right ) \left (a+b \sinh ^{-1}(c x)\right )^2}{3 c}+\frac {f \sqrt {d+i c d x} \sqrt {f-i c f x} \left (a+b \sinh ^{-1}(c x)\right )^3}{6 b c \sqrt {1+c^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.14, size = 705, normalized size = 1.39 \begin {gather*} \frac {108 i a b c f x \sqrt {d+i c d x} \sqrt {f-i c f x}-72 i a^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sqrt {1+c^2 x^2}-108 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sqrt {1+c^2 x^2}+108 a^2 c f x \sqrt {d+i c d x} \sqrt {f-i c f x} \sqrt {1+c^2 x^2}-72 i a^2 c^2 f x^2 \sqrt {d+i c d x} \sqrt {f-i c f x} \sqrt {1+c^2 x^2}+36 b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)^3-54 a b f \sqrt {d+i c d x} \sqrt {f-i c f x} \cosh \left (2 \sinh ^{-1}(c x)\right )-4 i b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \cosh \left (3 \sinh ^{-1}(c x)\right )+108 a^2 \sqrt {d} f^{3/2} \sqrt {1+c^2 x^2} \log \left (c d f x+\sqrt {d} \sqrt {f} \sqrt {d+i c d x} \sqrt {f-i c f x}\right )+27 b^2 f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh \left (2 \sinh ^{-1}(c x)\right )+18 b f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x)^2 \left (6 a-3 i b \sqrt {1+c^2 x^2}-i b \cosh \left (3 \sinh ^{-1}(c x)\right )+3 b \sinh \left (2 \sinh ^{-1}(c x)\right )\right )+12 i a b f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh \left (3 \sinh ^{-1}(c x)\right )+6 b f \sqrt {d+i c d x} \sqrt {f-i c f x} \sinh ^{-1}(c x) \left (-9 b \cosh \left (2 \sinh ^{-1}(c x)\right )+2 \left (9 i b c x-9 i a \sqrt {1+c^2 x^2}-3 i a \cosh \left (3 \sinh ^{-1}(c x)\right )+9 a \sinh \left (2 \sinh ^{-1}(c x)\right )+i b \sinh \left (3 \sinh ^{-1}(c x)\right )\right )\right )}{216 c \sqrt {1+c^2 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 180.00, size = 0, normalized size = 0.00 \[\int \left (-i c f x +f \right )^{\frac {3}{2}} \left (a +b \arcsinh \left (c x \right )\right )^{2} \sqrt {i c d x +d}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sqrt {i d \left (c x - i\right )} \left (- i f \left (c x + i\right )\right )^{\frac {3}{2}} \left (a + b \operatorname {asinh}{\left (c x \right )}\right )^{2}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (a+b\,\mathrm {asinh}\left (c\,x\right )\right )}^2\,\sqrt {d+c\,d\,x\,1{}\mathrm {i}}\,{\left (f-c\,f\,x\,1{}\mathrm {i}\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________